1. Advances in intelligent datd analysis: third international symposium; proceedings
پدیدآورنده : IDA-99; Amsterdam, the netherlands, August 9-11, 1999
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Computer science - Mathematics,Artificial intelligence - Computer system
رده :
QA
,
7609
,.
M35
,
1999
2. Applying Soft Computing in Defining Spatial Relations
پدیدآورنده : edited by Pascal Matsakis, Les M. Sztandera.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science-- Mathematics.,Computer science.,Translators (Computer programs).
3. Artificial Intelligence and Dynamic Systems for Geophysical Applications
پدیدآورنده : by Alexei Gvishiani, Jacques Octave Dubois.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science-- Mathematics.,Geographical information systems.,Geography.,Optical pattern recognition.,Physical geography.
4. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده : edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
5. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
6. Computer Systems Interaction-Human
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Engineering. ; Computer science. ; Artificial intelligence. ; Engineering mathematics. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; User Interfaces and Human Computer Interaction. ; Artificial Intelligence (incl. Robotics). ;
7. Control-Based Reconstruction and Pose-Estimation
پدیدآورنده : Islam, Bipul
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Applied mathematics,Artificial intelligence,Bioinformatics,Computer science,Robotics
8. Control-Based Reconstruction and Pose-Estimation
پدیدآورنده : Islam, Bipul
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Applied mathematics,Artificial intelligence,Bioinformatics,Computer science,Robotics
9. Cool Math for Hot Music
پدیدآورنده : \ Guerino Mazzola, Maria Mannone, Yan Pang
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Artificial intelligence,Music -- Mathematics,Computer science -- Mathematics,ه‍وش م‍ص‍ن‍وع‍ی,موسیقی – ریاضیات,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,
10. Deep belief nets in C++ and CUDA C.
پدیدآورنده : Timothy Masters.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C++ (Computer program language),Neural networks (Computer science),Artificial intelligence.,Business mathematics & systems.,C++ (Computer program language),COMPUTERS-- Programming Languages-- C++.,Databases.,Neural networks (Computer science),Programming & scripting languages: general.
رده :
QA76
.
87
11. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
پدیدآورنده : Christian Herde ; With a foreword by Martin Fränzle.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
رده :
QA76
.
9
.
A96
H47
2011
12. Formal concept analysis
پدیدآورنده : / Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
E-BOOK
13. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
14. Fuzzy Databases :
پدیدآورنده : by Frederick E. Petry.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
رده :
QA8
.
9-10
.
3
15. Fuzzy Relation Equations and Their Applications to Knowledge Engineering
پدیدآورنده : by Antonio Nola, Salvatore Sessa, Witold Pedrycz, Elie Sanchez.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Mathematics.
رده :
QA76
.
76
.
E95
B936
1989
16. Fuzzy Relational Systems
پدیدآورنده : by Radim Bělohlávek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
17. Hybrid algorithms, Techniques and Implementations Of Fuzzy Logic
پدیدآورنده : / Contributors: Bharanidharan Shanmugam and et al
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Operations research,Artificial intelligence,Computer science--Mathematics
رده :
T57
.
6
.
H937
2017
18. Hybrid algorithms for service, computing and manufacturing systems :
پدیدآورنده : [edited by] Jairo R. Montoya-Torres ... [et al.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science-- Mathematics.,Operations research.
19. Information and Collaboration Models of Integration
پدیدآورنده : edited by Shimon Y. Nof.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Mathematics.
20. Informationsverarbeitung in der Robotik
پدیدآورنده : von Rüdiger Dillmann, Martin Huck.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Chemistry -- Mathematics.,Computer science.
رده :
TJ211
.
V667
1991
